منابع مشابه
Safety Analysis versus Type Inference
Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. This ambition is also shared by algorithms for type inference. Safety analysis and type inference are based on rather different perspectives, however. Safety analysis is global in that it can only analyze a complete program. In co...
متن کاملSafety Analysis Versus Type Inference for Partial Types
Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. We prove that safety analysis accepts strictly more safe lambda terms than does type inference for Thatte’s partial types.
متن کاملSafety Analysis versus Type InferenceJens
Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. This ambition is also shared by algorithms for type inference. Safety analysis and type inference are based on rather diierent perspectives, however. Safety analysis is global in that it can only analyze a complete program. In con...
متن کاملSafety Analysis versus Type Inferencefor Partial
Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. We prove that safety analysis accepts strictly more safe lambda terms than does type inference for Thatte's partial types.
متن کاملBinding-time Analysis: Abstract Interpretation versus Type Inference
Interpretation versus Type Inference Jens Palsberg Michael I. Schwartzbach [email protected] [email protected] Computer Science Department, Aarhus University Ny Munkegade, DK–8000 Aarhus C, Denmark
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1058